A competitive and cooperative approach to propositional satisfiability

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

From Propositional Satisfiability to Satisfiability Modulo Theories

In this paper we present a review of SAT-based approaches for building scalable and efficient decision procedures for quantifier-free first-order logic formulas in one or more decidable theories, known as Satisfiability Modulo Theories (SMT) problems. As applied to different system verification problems, SMT problems comprise of different theories including fragments of elementary theory of num...

متن کامل

A Competitive - Cooperative Approach to ComplexCombinatorial

Combinatorial optimization problems confront us with the problem of searching in a huge connguration space. Associated with each of these conngura-tions is the value of a utility function and the optimization task generally consists of nding the connguration which has either the lowest or the highest cost of all. Among the most diicult of these problems are those which belong to the NP-complete...

متن کامل

A competitive and cooperative learning approach to robust data clustering

This paper presents a new semi-competitive learning paradigm named Competitive and Cooperative Learning (CCL), in which seed points not only compete each other for updating to adapt to an input each time, but also dynamically cooperate to achieve the learning task. This competitive and cooperative mechanism can automatically merge those extra seed points, meanwhile making the seed points gradua...

متن کامل

Satisfiability for Propositional Contexts

We propose a sound and complete satisfiability algorithm for propositional multi-context systems. In essence, the algorithm is a distribution policy built on top of local reasoning procedures, one for each context, which can be implemented by (a diversity of) customized state-of-the-art SAT solvers. The foremost intuition that has motivated our algorithm, and the very potential strength of cont...

متن کامل

a benchmarking approach to optimal asset allocation for insurers and pension funds

uncertainty in the financial market will be driven by underlying brownian motions, while the assets are assumed to be general stochastic processes adapted to the filtration of the brownian motions. the goal of this study is to calculate the accumulated wealth in order to optimize the expected terminal value using a suitable utility function. this thesis introduced the lim-wong’s benchmark fun...

15 صفحه اول

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Discrete Applied Mathematics

سال: 2006

ISSN: 0166-218X

DOI: 10.1016/j.dam.2006.04.015